%Por: mata y martin
\begin{problema}{seAnotanTodasG}{g:Gateway}{[Usuarios]}{
	\asegura{ mismos(\comp{p}{p \selec todosSinRepetir(g), 
		\\(\forall t \selec trivias(g)) p \in participantes(t), (\exists h
		\selec trivias(g)) p \in ganadores(h) }, result )} }
\end{problema}

\begin{aux}{todosConRepeticion}{g: Gateway}{[Usuarios]}{
	concat(\comp{participantes(t)}{t \selec trivias(g)})
}
\end{aux}
\begin{aux}{todosSinRepetir}{g: Gateway}{[Usuarios]}{
	sacarRepetidos(todosConRepeticion(g))
}
\end{aux}

% Aprobado por Lea Lunes 26 Septiembre